duplicate (Store f s) = Store (Store f) s